Charting galactic accelerations – II. How to ‘learn’ accelerations in the solar neighbourhood

How to Compose Presburger-Accelerations: Applications to Broadcast Protocols

Accelerations for Graph Isomorphism

In this paper, we present two main results. First, by only one conjecture (Conjecture 2.9) for recognizing a vertex symmetric graph, which is the hardest task for our problem, we construct an algorithm for finding an isomorphism between two graphs in polynomial time O(n). Second, without that conjecture, we prove the algorithm to be of quasi-polynomial time O(n ). The conjectures in this paper ...

About Fast and TReX Accelerations

Fast and TReX tools are designed to analyse systems with infinite state spaces. They both implement algorithms computing the set of reachable states of such systems. Since the state space may be infinite, acceleration techniques are used . In this paper, we study the differences between Fast and TReX acceleration techniques and show that although Fast remains in Presburger logics while accelera...

Maximal Acceleration or Maximal Accelerations?

We review the arguments supporting the existence of a maximal acceleration for a massive particle and show that different values of this upper limit can be predicted in different physical situations. ∗E-mail: [email protected]

Neural prediction of complex accelerations

40 41 To successfully intercept or avoid moving objects, we must compensate for the sensorimotor 42 delays associated with visual processing and motor movement. While straightforward in the 43 case of constant velocity motion, it is unclear how humans compensate for accelerations, as 44 our visual system is relatively poor at detecting changes in velocity. Work on free falling 45 objects sugges...